منابع مشابه
Bonsai: Cutting Models Down to Size
In model checking, abstractions can cause spurious results, which need to be verified in the concrete system to gain conclusive results. Verification based on multi-valued model checking can distinguish conclusive and inconclusive results, while increasing precision over traditional two-valued overand under-abstractions. This paper describes the theory and implementation of multi-valued model c...
متن کاملThe Summary Abox: Cutting Ontologies Down to Size
Reasoning on OWL ontologies is known to be intractable in the worst-case, which is a serious problem because in practice, most OWL ontologies have large Aboxes, i.e., numerous assertions about individuals and their relations. We propose a technique that uses a summary of the ontology (summary Abox) to reduce reasoning to a small subset of the original Abox, and prove that our techniques are sou...
متن کاملEffect of cutting size and position on propagation ability of Sage (Salvia officinalis L.)
The investigation was conducted on wet and dry seasons of Ethiopia during the year 2012/2013 at Wondo Genet Agricultural Research Center Nursery site. Four levels of cutting size and three levels of cutting positions were arranged in randomized complete block design with three replications. Data on seedling height, branch number/seedling, root number/seedling, root weigh/seedling, root length/s...
متن کاملRoot Growth of Morus Alba as Affected by Cutting Size and Low Polythene Tunnel
An effort carried out to find out the smaller size of cuttings for propagation ofMorus alba in Experimental area, Department of Forestry, Range Management and Wildlife, University of Agriculture, Faisalabad, 2005. Different size of cuttings i.e.5 cm, 10 cm, 15 cm and 20 cm were planted in polythene tubes of 9 cm x 18 cm. The attempt was also made to compare the performance of cuttings outdoor a...
متن کاملEffect of cutting size and position on propagation ability of Sage (Salvia officinalis L.)
The investigation was conducted on wet and dry seasons of Ethiopia during the year 2012/2013 at Wondo Genet Agricultural Research Center Nursery site. Four levels of cutting size and three levels of cutting positions were arranged in randomized complete block design with three replications. Data on seedling height, branch number/seedling, root number/seedling, root weigh/seedling, root length/s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2011
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.334.6055.434-c